721. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
722. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
723. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
724. Cancer nanotechnology :
پدیدآورنده: edited by Stephen R. Grobmyer and Brij M. Moudgil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cancer-- Diagnosis.,Cancer-- Treatment.,Nanomedicine.,Nanostructures.,Nanotechnology-- methods.,Neoplasms-- diagnosis.,Neoplasms-- therapy.,Cancer-- Diagnosis.,Cancer-- Treatment.,Krebs,Nanomedicine.,Nanotechnologie
رده :
RC262
.
C36
2010
725. Caputo–Katugampola derivative of optimal control and numerical solutions of fractional via Chebyshev polynomials
پدیدآورنده: Ali Basim AL-nussairi,Basim AL-nussairi,
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Spectral methods, Chebyshev expansion, Caputo–Katugampola fractional derivative, Fractional optimal control problems.,مشتق کسری Caputo-Katugampola; مسائل کنترل بهینه کسری؛ گسترش چبیشف؛ روش های طیفی
726. Cardinalities of Fuzzy Sets
پدیدآورنده: by Maciej Wygralak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Group theory.,Mathematics.
رده :
QA248
.
5
B963
2003
727. Case-based reasoning research and development :
پدیدآورنده: Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8
728. Cases of Mathematics Professional Development in East Asian Countries
پدیدآورنده: / Swee Fong Ng
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
729. Cases on E-Learning Management
پدیدآورنده: / [edited by] Harrison Hao Yang, Shuyan Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Management -- Computer - assisted instruction,Internet in education,Education -- Effect of technological innovations on,Education, Higher -- Effect of technological innovations on,مدیریت -- آموزش به کمک کامپیوتر,اینترنت و آموزش و پرورش,آموزش و پرورش -- اثر نوآوری,آموزش عالی -- اثر نوآوری
رده :
LB1028
,.
3
.
C324
2013
730. Categorical Perspectives
پدیدآورنده: edited by Jürgen Koslowski, Austin Melton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Cell aggregation-- Mathematics.,Mathematics.,Topology.
731. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
732. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
733. Categorical methods in computer science: with aspects from topology
پدیدآورنده : H. Ehrig ... ]et al.[, eds
موضوع : ، Computer science- Congresses,، Categories )Mathematics(- Congresses,، Topology- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
734. Categories and computer science
پدیدآورنده: Walters, R. F. C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
735. Categories and computer science
پدیدآورنده: / R.F.C. Walters
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Categories (Mathematics)--Data processing,Electronic digital computers--Programming
736. Categories and computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Data processing ; Computer programming ;
737. Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
پدیدآورنده: John W. Gray and Andre Scedrov, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
9
.
M35A57
1987
738. Categories in computer science and logic :
پدیدآورنده: John W. Gray and Andre Scedrov, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
رده :
QA76
.
9
.
M35
A47
1987
739. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
رده :
QA
76
.
9
.
M35
.
A47
1987
740. Category theory and computer science :
پدیدآورنده: Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
